Перевод: с русского на английский

с английского на русский

формулировать алгоритм

См. также в других словарях:

  • Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

  • Ленин, Владимир Ильич — Проверить нейтральность. На странице обсуждения должны быть подробности. Запрос «Ленин» перенаправляется сюда; см. также другие значения …   Википедия

  • АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …   Математическая энциклопедия

  • КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ —         в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными наз.… …   Философская энциклопедия

  • Линейное программирование — Линейное программирование  математическая дисциплина, посвящённая теории и методам решения экстремальных задач на множествах мерного векторного пространства, задаваемых системами линейных уравнений и неравенств. Линейное программирование… …   Википедия

  • ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

  • АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

  • Декарт Рене — Декарт основатель современной философии     Альфред Н. Уайтхед писал, что история современной философии это история развития картезианства в двух аспектах: идеалистическом и механистическом , res cogitans ( мышления ) и res extensa (… …   Западная философия от истоков до наших дней

  • ИМПЛИКАЦИЯ — (от лат. implicatio сплетение, от implico тесно связываю) логическая связка, соответствующая грамматической конструкции «если.., то...», с помощью которой из двух простых высказываний образуется сложное высказывание. В импликативном высказывании… …   Философская энциклопедия

  • КОЛИЧЕСТВО — филос. категория, отображающая общее в качественно однородных вещах и явлениях. Чтобы выявить в них это общее, необходимо, во первых, установить их однородность, т.е. показать, в каком именно отношении они эквивалентны между собою, во вторых,… …   Философская энциклопедия

  • ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»